Slip โ€“ A Lisp System in JavaScript
lisperator.netยท5hยท
Discuss: Hacker News
๐ŸŒฑMinimal Lisps
An enough week
blog.mitrichev.chยท23hยท
Discuss: blog.mitrichev.ch
๐ŸŒฒDeforestation
Show HN: Realization Jsmn on a Pure Zig
github.comยท9hยท
Discuss: Hacker News
๐Ÿ“‹JSON Parsing
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.orgยท15h
ฮปLambda Calculus
Haskell Weekly Issue 493
haskellweekly.newsยท1dยท
Discuss: Hacker News
โšกfunctional programming
How static analysis encourages developers to refactor code: Another look at Source SDK
dev.toยท4hยท
Discuss: DEV
๐Ÿช„C Metaprogramming
Parallel C++ for Scientific Applications: Fixed Point Calculations and Finding Roots
youtube.comยท2hยท
Discuss: r/cpp
๐ŸงฎCombinator Calculus
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ“‹Datalog
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท9h
๐ŸงฎCombinator Calculus
Let's Write a Macro in Rust
hackeryarn.comยท3hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
If/When to learn Zig
reddit.comยท15hยท
Discuss: r/Zig
โšกZig
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.orgยท1dยท
Discuss: Hacker News, r/programming
๐ŸคZipper Structures
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.orgยท1d
๐ŸชœRecursive Descent
Lobsters Interview with Zdsmith
lobste.rsยท13hยท
Discuss: Lobsters
๐Ÿ“šStack Languages
Three ways formally verified code can go wrong in practice
buttondown.comยท2h
๐Ÿ“œProof Languages
GaloisInc/parameterized-utils
github.comยท2d
๐Ÿ“Linear Haskell
Unforgettable factory revisited
holyblackcat.github.ioยท14hยท
Discuss: r/cpp
๐Ÿช†Embedded DSLs
๐ŸŒŸ Understanding Generics in TypeScript: The Key to Reusable, Type-Safe Code
dev.toยท1dยท
Discuss: DEV
๐Ÿ”—Go Generics
Erlang-Red Walkthrough โ€“ Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.comยท5hยท
Discuss: Hacker News
๐Ÿ“กErlang BEAM
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.comยท11hยท
Discuss: r/golang
๐ŸนGoroutine Scheduling